All realizability is relative

All realizability is relative

We introduce a category of basic combinatorial objects, encompassing PCAs and locales. Such a basic combinatorial object is to be thought of as a pre-realizability notion. To each such object we can associate an indexed preorder, generalizing the construction of triposes for various notions of realizability. There are two main results: first, the characterization of triposes which arise in this...

Relative and modified relative realizability

Relative and Modiied Relative Realizability

Realizability is controllability

A choreography describes the interaction between services. It may be used for specification purposes, for instance serving as a contract in the design of an interorganizational business process. Typically, not all describable interactions make sense which motivates the study of the realizability problem for a given choreography. In this paper, we show that realizability can be traced back to th...

It Is All Relative: How Young Children Encode Extent

Two experiments tested the ability of 4and 8-year-old children to encode the extent of a target dowel and later discriminate between the target and a foil having a novel extent. By manipulating the heights of containers in which we presented the stimuli we tested whether children used the relation between the dowels and containers for encoding extent. We found that 8-year-olds encoded extent wi...